Normal science

Results: 1249



#Item
151Business / Audit / Electronic voting / Financial audit / Normal distribution / Risk / Statistics / Auditing / Information technology audit / Precincts

On Auditing Elections When Precincts Have Different Sizes Javed A. Aslam Raluca A. Popa and Ronald L. Rivest College of Computer and Information Science

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2008-07-14 14:19:54
152Probability theory / Statistical theory / Probability distribution / Normal distribution / Statistical parameter / Moment-generating function / Central limit theorem / Log-normal distribution / Characteristic function / Statistics / Mathematical analysis / Probability and statistics

Division of Engineering Science University of Toronto STA286 H1 S: Probability & Statistics Course Co-Coordinators and Instructors:

Add to Reading List

Source URL: probability.ca

Language: English - Date: 2008-03-03 13:52:38
153Normal distribution / Multivariate statistics / Actuarial science / Probability theory / Multivariate normal distribution / Matrix / Cumulative distribution function / Stable distribution / Copula / Statistics / Probability and statistics / Mathematical analysis

Package ‘extRemes’ February 19, 2015 VersionDate 22 October 2012 Title Extreme Value Analysis Author Eric Gilleland

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2015-02-19 17:38:44
154Statistical tests / Estimation theory / Statistical models / Proportional hazards models / Logrank test / Normal distribution / Risk / Expectation–maximization algorithm / Statistical hypothesis testing / Statistics / Survival analysis / Actuarial science

Chapter 9 Survival Analysis and the EM Algorithm Survival analysis had its roots in governmental and actuarial statistics, spanning centuries of use in assessing life expectencies, insurance rates, and annuities. In the

Add to Reading List

Source URL: statweb.stanford.edu

Language: English - Date: 2014-11-21 19:45:54
155Functional languages / APL programming language family / J / Symbol / Lambda calculus / Standard ML / Software engineering / Computing / Computer programming

BRICS Basic Research in Computer Science BRICS RSO. Danvy: A New One-Pass Transformation into Monadic Normal Form A New One-Pass Transformation into

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-01-20 09:12:30
156Logic in computer science / Logic programming / Automated planning and scheduling / Formal methods / Conjunctive normal form / Situation calculus / Planning Domain Definition Language / Algorithm / Boolean satisfiability problem / Theoretical computer science / Mathematics / Applied mathematics

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2010-08-28 23:41:19
157Technical communication / XML / Computing / OSI protocols / Markup languages

A Normal Form for XML Documents Marcelo Arenas Department of Computer Science University of Toronto Joint work with Leonid Libkin

Add to Reading List

Source URL: web.ing.puc.cl

Language: English - Date: 2013-04-26 05:45:30
158Applied mathematics / Models of computation / Computability theory / Explicit substitution / Reduction strategy / Operational semantics / Beta normal form / Overlap / Formal language / Mathematics / Theoretical computer science / Lambda calculus

BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2006-02-02 19:43:31
159Confidence interval / Econometrics / Market research / Measurement / Normal distribution / Central limit theorem / Random variable / Expected value / Prediction interval / Statistics / Statistical inference / Probability theory

2006 Paper 3 Question 10 Mathematical Methods for Computer Science (a) Suppose that X1 , X2 , . . . is a sequence of random variables. State the Central Limit Theorem, noting any assumptions that you make about the rand

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:10
160Computability theory / Formal languages / Logic in computer science / Lambda calculus / Models of computation / Reduction strategy / Standard ML / Function / Normal form / Theoretical computer science / Mathematics / Programming language theory

BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2005-01-20 05:23:35
UPDATE